ЕСТЕСТВЕННО УПОРЯДОЧЕННЫЙ ГРУППОИД

- частично упорядоченный группоид Н, в к-ром все элементы положительны (т. е. и для любых а,и больший из двух элементов всегда делится (и справа и слева) на меньший, т. е. из а следует ах=уа=b для некоторых х,Положительный конус любой частично упорядоченной группы является естественно упорядоченной полугруппой.